step-counting theorem

[计] 计步定理